Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·1h
🧮Algebraic Datatypes
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🔗Topological Sorting
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·10h·
Discuss: Hacker News
λLambda Encodings
Linkage
11011110.github.io·13h
📐Linear Algebra
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
✨Algebraic Effects
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🔧Hardware Verification
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📐Linear Algebra
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Balance between refactoring and inheritance in your code
github.com·17h·
Discuss: Hacker News
✅Format Verification
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·3d
💎Information Crystallography
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·14h·
Discuss: www.blogger.com
🔗Lisp
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
🎯Performance Proofs
Dynamic Relational Priming Improves Transformer in Multivariate Time Series
arxiv.org·1h
🧠Machine Learning
Folks, we have the best π
lcamtuf.substack.com·22h·
Discuss: Substack
📐Mathematical Art
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
💻Programming languages
Frontier Models Are Not Commoditized
arfniia.com·8h·
Discuss: Hacker News
⚡Incremental Computation
Just Get a Partial Fix and Move On
chillphysicsenjoyer.substack.com·8h·
Discuss: Substack
🧮SMT Solvers
The Prompt Engineering Report Distilled: Quick Start Guide for Life Sciences
arxiv.org·1h
🔄Archival Workflows
You can't test if quantum uses complex numbers
algassert.com·17h·
Discuss: Hacker News
🔐Quantum Security